#pragma once

#include <linux/rcupdate.h>
#include <linux/hrtimer.h>

static inline void raise_timer_softirq(unsigned int nr)
{
    __raise_softirq_irqoff(nr);
}
